偏序集合是数学中，特别是序理论中，指配备了偏序关系的集合。
这个理论将对集合的元素进行排序、顺序或排列等直觉概念抽象化。这种排序不必是全序关系的，就是说不需要保证此集合内的所有对象的相互可比较性。偏序空间是具有闭集偏序的拓扑空间。
偏序集合是数学中，特别是序理论中，指配备了偏序关系的集合。
这个理论将对集合的元素进行排序、顺序或排列等直觉概念抽象化。这种排序不必是全序关系的，就是说不需要保证此集合内的所有对象的相互可比较性。偏序空间是具有闭集偏序的拓扑空间。
在计算机科学和信息科学中，本体是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和实体构成了一个、大量或所有的论域。本体提供的是特定领域之中那些存在着的对象类型或概念及其属性和关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在信息系统之中使用；或者说，本体实际上就是“对特定论域之中某套概念及其相互之间关系的形式化表达”。本体是人们以自己兴趣论域的知识为素材，运用信息科学的本体论原理而编写出来的作品。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域。此外，有时人们也会将本体称为本体论。
模型论一般是指数学中集合论的论述角度对数学概念表现的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。
在计算机科学和信息科学中，本体是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和实体构成了一个、大量或所有的论域。本体提供的是特定领域之中那些存在着的对象类型或概念及其属性和关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在信息系统之中使用；或者说，本体实际上就是“对特定论域之中某套概念及其相互之间关系的形式化表达”。本体是人们以自己兴趣论域的知识为素材，运用信息科学的本体论原理而编写出来的作品。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域。此外，有时人们也会将本体称为本体论。
在计算机科学和信息科学中，本体是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和实体构成了一个、大量或所有的论域。本体提供的是特定领域之中那些存在着的对象类型或概念及其属性和关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在信息系统之中使用；或者说，本体实际上就是“对特定论域之中某套概念及其相互之间关系的形式化表达”。本体是人们以自己兴趣论域的知识为素材，运用信息科学的本体论原理而编写出来的作品。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域。此外，有时人们也会将本体称为本体论。
偏序集合是数学中，特别是序理论中，指配备了偏序关系的集合。
这个理论将对集合的元素进行排序、顺序或排列等直觉概念抽象化。这种排序不必是全序关系的，就是说不需要保证此集合内的所有对象的相互可比较性。偏序空间是具有闭集偏序的拓扑空间。
Mini wiki
